AIMMS Presolver
- Display Infeasibility Analysis
- Evaluations Range Integer Variables
- Linear Presolve
- List Presolve Reductions
- MINLP Probing
- Nonlinear Presolve
- OBBT
- Presolve Constraints Used
- Presolve Copy Model
- Presolve Cycle Limit
- Presolve Dual Reductions
- Presolve Feasibility Tolerance
- Presolve Numeric Switch
- Presolve Remove Duplicate Variables
- Reformulate Constraints
- Remove Doubletons